#include  "pcb.h"
#include  "idle.h"
#include  "doxon.h"

Idle::Idle(): Thread((UID)-1) {
}

void Idle::start() {
    lock();
    myPCB->state = PCB::READY;
    myPCB->init_stack();
    unlock();
}

void Idle::run() {
    while(1)
        ;
}
